Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
1. | Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan. | 2005 |
|
2. | Probability and statistics for computer science / James L. Johnson. | 2003 |
|
3. | The enterprise of knowledge : an essay on knowledge, credal probability, and chance / Isaac Levi. | 1980 |
|